$\forall$$T$:Type, $L$:($T$ List), $P$:(\{$x$:$T$$\mid$ ($x$ $\in$ $L$)\} $\rightarrow$prop\{i:l\}). l\_all($L$; $T$; $x$.$P$($x$)) $\in$ prop\{i:l\}